﻿* 
* My conclusions:
< Parents and children are part of every family.
< 
* 
* My assumptions:
< A father is probably a person.
< A father is probably a parent.
< A parent is probably a person.
< 
* 
* My conclusions:
< Every parent is a woman or a man.
* 
* My assumptions:
< A mother is probably a person.
< A mother is probably a parent.
< 
* 
* My assumptions:
< A son is probably a person.
< A child is probably a person.
< 
* 
* My conclusions:
< Every child is a girl, a woman, a boy or a man.
* 
* My assumptions:
< A daughter is probably a person.
< 
* 
* My conclusions:
< John has a son, called Paul.
* 
* My assumptions:
< Paul is probably a person.
< Paul has probably a parent, called John.
< Paul is probably a child of John.
< Paul is probably part of a family.
< Paul is probably not a girl and not a woman.
< Paul is probably not a daughter.
< John is probably a parent of Paul.
< John is probably part of a family.
< John is possibly a person.
< John has probably a child, called Paul.
* 
* My questions:
< Is Paul a boy or a man?
< Is John a father or a mother?
< Is John a man or a woman?
< 
* 
* Your question is more specific than my earlier question:
< Is John a father or a mother?
* 
* I don't know the answer to this question, but I'll keep it in mind.
* 
* 
* Your questions:
< Is John a father?
* 
* My conclusions:
< John has a son, called Paul.
* 
* My assumptions:
< John is probably a parent of Paul.
< John is probably part of a family.
< John is possibly a person.
< John has probably a child, called Paul.
* 
* My questions:
< Is John a father or a mother?
< Is John a man or a woman?
* 
* Related information:
< Paul has probably a parent, called John.
< Paul is probably a child of John.
< Paul is the son of John.
< 
* 
* My conclusions:
< John has a son, called Paul. Because:
<	- Paul is the son of John.
* 
* My assumptions:
< John is probably a parent of Paul. Because:
<	- Paul has probably a parent, called John.
* 	and:
<	- Every family has parents and children.
<	- Every child is a son or a daughter.
<	- John has a son, called Paul.
* 	and:
<	- Every family has parents and children.
<	- Paul is probably a child of John.
< John is probably part of a family. Because:
<	- John is probably a parent of Paul.
<	- Parents are part of every family.
< John is possibly a person. Because:
<	- John is probably a parent of Paul.
<	- A parent is probably a person.
< John has probably a child, called Paul. Because:
<	- Paul is probably a child of John.
* 
* My questions:
< Is John a father or a mother? Because:
<	- John is probably a parent of Paul.
<	- Every parent is a father or a mother.
< Is John a man or a woman? Because:
<	- Is John a father or a mother?
<	- Every mother is a woman.
<	- Every father is a man.
* 	and:
<	- John is possibly a person.
<	- Every person is a man or a woman.
* 	and:
<	- John is probably a parent of Paul.
<	- Every parent is a woman or a man.
< 
